
<div>
  <div if="${includeIntro}">
    <h2>Welcome to GCLI</h2>
    <p>GCLI is an experiment to create a highly usable JavaScript command line for developers.</p>
    <p>
      Useful links:
      <a href='https://github.com/joewalker/gcli'>Source</a> (Apache-2.0),
      <a href='https://github.com/joewalker/gcli/blob/master/docs/index.md'>Documentation</a> (for users/embedders),
      <a href='https://wiki.mozilla.org/DevTools/Features/GCLI'>Mozilla feature page</a> (for GCLI in the web console).
    </p>
  </div>

  <h3>${heading}</h3>

  <table>
    <tr foreach="command in ${matchingCommands}">
      <th class="gcli-help-name">${command.name}</th>
      <td class="gcli-help-arrow">-</td>
      <td>
        ${command.description}
        <span class="gcli-out-shortcut"
            onclick="${onclick}" ondblclick="${ondblclick}"
            data-command="help ${command.name}">help ${command.name}</span>
      </td>
    </tr>
  </table>
</div>
